Bivariate identities related to Chebyshev and Dickson polynomials over Fq

Let ${\mathbb{F}}_q$ be a field of q elements, where q is a power of an odd prime p. The polynomial $f(y)\in {\mathbb{F}}_q[y]$ defined by$f(y):={(1+\sqrt{y})}^{(q+1)/2}+{(1-\sqrt{y})}^{(q+1)/2}$ has the property that$f(1-y)=\rho (2)f(y),$ where ρ is the quadratic character on ${\mathbb{F}}_q$. This univariate identity was applied to prove a recent theorem of N. Katz. We formulate and prove a bivariate extension, and give an application to quadratic residuacity.     

Galois groups of polynomials arising from circulant matrices

Circulant matrices are used to construct polynomials, associated with Chebyshev polynomials of the first kind, whose roots are real and made explicit. Then the Galois groups of the polynomials are computed, giving rise to new examples of polynomials with cyclic Galois groups and Galois groups of order p(p−1) that are generated by a cycle of length p and a cycle of length p−1.     

Generalized trigonometry and Chebyshev functions in finite fields

Trigonometry in finite fields was introduced by de Souza et al. and further developed by Lima and Panario and others, giving functions with many properties similar to trigonometric functions over the reals. Those explorations used a degree-2 extension of a base field. While this corresponds most closely to trigonometry over the reals, in finite fields we can have extensions of other degrees. In this paper we generalize the definitions of trigonometric functions and their related Chebyshev polynomials to arbitrary degrees and explore their properties. Many familiar results carry over into the generalized setting.     

A one-parameter quadratic-base version of the Baillie-PSW probable prime test

The well-known Baillie-PSW probable prime test is a combination of a Rabin-Miller test and a ``true' (i.e., with The well-known Baillie-PSW probable prime test is a combination of a Rabin-Miller test and a ``true' (i.e., with ) Lucas test. Arnault mentioned in a recent paper that no precise result is known about its probability of error. Grantham recently provided a probable prime test (RQFT) with probability of error less than 1/7710, and pointed out that the lack of counter-examples to the Baillie-PSW test indicates that the true probability of error may be much lower.

In this paper we first define pseudoprimes and strong pseudoprimes to quadratic bases with one parameter: , and define the base-counting functions:

and

Then we give explicit formulas to compute B and SB, and prove that, for odd composites ,

and point out that these are best possible. Finally, based on one-parameter quadratic-base pseudoprimes, we provide a probable prime test, called the One-Parameter Quadratic-Base Test (OPQBT), which passed by all primes and passed by an odd composite odd primes) with probability of error . We give explicit formulas to compute , and prove that

The running time of the OPQBT is asymptotically 4 times that of a Rabin-Miller test for worst cases, but twice that of a Rabin-Miller test for most composites. We point out that the OPQBT has clear finite group (field) structure and nice symmetry, and is indeed a more general and strict version of the Baillie-PSW test. Comparisons with Gantham's RQFT are given.

     

Exact joint laws associated with spectrally negative Lévy processes and applications to insurance risk theory

We consider the spectrally negative L@vy processes and determine the joint laws for the quantities such as the first and last passage times over a fixed level, the overshoots and undershoots at first passage, the minimum, the maximum, and the duration of negative values. We apply our results to insurance risk theory to find an explicit expression for the generalized expected discounted penalty function in terms of scale functions. Furthermore, a new expression for the generalized Dickson＇s formula is provided.